https://www.googlewatchblog.de/2012/10/google-web-toolkit-2-5-veroeffentlicht/